Lean 3 基礎
table:タクティク
sorry 証明がまだ終わってないやつ
refl
rw h
induction n with d hd
,
で
;
のような扱い。
確認用
Q. Lean 基本
Q. tactic
Q.
,
の扱い
参考
関連